[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

247 247 183 260 221 767 109 241 599 0

N.S.

1 1.00 0.74 1.05 0.89 3.11 0.44 0.98 2.43 0.00

time (sec)

N/A 0.151 0.078 0.009 2.395 0.869 0.691 0.188 0.377 0.001

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

247 247 184 260 221 767 110 241 603 0

N.S.

1 1.00 0.74 1.05 0.89 3.11 0.45 0.98 2.44 0.00

time (sec)

N/A 0.138 0.045 0.003 2.342 0.661 0.680 0.172 0.257 0.001

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 95 122 109 755 110 230 579 0

N.S.

1 1.00 1.10 1.42 1.27 8.78 1.28 2.67 6.73 0.00

time (sec)

N/A 0.045 0.030 0.005 2.288 0.902 0.726 0.182 4.643 0.001

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 95 122 109 755 110 228 579 0

N.S.

1 1.00 1.10 1.42 1.27 8.78 1.28 2.65 6.73 0.00

time (sec)

N/A 0.040 0.023 0.003 2.339 0.566 0.943 0.325 4.578 0.001

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 33 122 39 33 41 52 29 0

N.S.

1 1.00 0.82 3.05 0.98 0.82 1.02 1.30 0.72 0.00

time (sec)

N/A 0.020 0.014 0.006 2.388 0.690 0.124 0.201 0.090 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 44 82 39 42 49 40 21 0

N.S.

1 1.00 0.86 1.61 0.76 0.82 0.96 0.78 0.41 0.00

time (sec)

N/A 0.021 0.014 0.003 2.417 0.552 0.125 0.170 4.433 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 32 13 25 29 32 29 12 0

N.S.

1 1.00 2.00 0.81 1.56 1.81 2.00 1.81 0.75 0.00

time (sec)

N/A 0.003 0.015 0.002 2.393 0.772 0.115 0.159 0.092 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 16 13 12 12 15 12 12 0

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.94 0.75 0.75 0.00

time (sec)

N/A 0.003 0.005 0.003 2.310 0.862 0.113 0.159 0.027 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 60 254 100 148 138 0 57 0

N.S.

1 1.00 0.80 3.39 1.33 1.97 1.84 0.00 0.76 0.00

time (sec)

N/A 0.037 0.021 0.005 2.305 0.944 0.394 0.000 4.793 0.001

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 91 254 70 151 131 0 43 0

N.S.

1 1.00 0.86 2.40 0.66 1.42 1.24 0.00 0.41 0.00

time (sec)

N/A 0.047 0.022 0.004 2.369 0.944 0.457 0.000 4.757 0.001

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 60 290 74 137 87 222 57 0

N.S.

1 1.00 0.80 3.87 0.99 1.83 1.16 2.96 0.76 0.00

time (sec)

N/A 0.050 0.035 0.010 2.476 1.498 0.223 0.171 4.406 0.001

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

90 90 75 290 62 140 80 222 41 0

N.S.

1 1.00 0.83 3.22 0.69 1.56 0.89 2.47 0.46 0.00

time (sec)

N/A 0.047 0.023 0.004 2.412 0.530 0.234 0.224 0.086 0.001

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

13 13 25 18 17 17 22 19 9 0

N.S.

1 1.00 1.92 1.38 1.31 1.31 1.69 1.46 0.69 0.00

time (sec)

N/A 0.006 0.006 0.006 2.350 0.785 0.197 0.159 0.040 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 181 71 0 162 122 1642 94 0

N.S.

1 1.00 2.21 0.87 0.00 1.98 1.49 20.02 1.15 0.00

time (sec)

N/A 0.100 0.110 0.039 0.000 0.669 0.538 1.119 4.433 0.001

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 181 71 0 162 122 1642 98 0

N.S.

1 1.00 2.21 0.87 0.00 1.98 1.49 20.02 1.20 0.00

time (sec)

N/A 0.110 0.111 0.037 0.000 0.743 0.561 1.087 4.515 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 189 75 0 176 110 1676 30 0

N.S.

1 1.00 2.42 0.96 0.00 2.26 1.41 21.49 0.38 0.00

time (sec)

N/A 0.098 0.105 0.034 0.000 0.840 0.572 1.122 0.128 0.001

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 189 75 0 179 121 1676 88 0

N.S.

1 1.00 2.20 0.87 0.00 2.08 1.41 19.49 1.02 0.00

time (sec)

N/A 0.104 0.107 0.032 0.000 0.757 0.550 1.139 4.394 0.001

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 182 88 0 172 121 1642 99 0

N.S.

1 1.00 2.33 1.13 0.00 2.21 1.55 21.05 1.27 0.00

time (sec)

N/A 0.052 0.121 0.023 0.000 0.695 0.583 1.163 0.087 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 182 69 0 173 110 1642 57 0

N.S.

1 1.00 2.33 0.88 0.00 2.22 1.41 21.05 0.73 0.00

time (sec)

N/A 0.048 0.125 0.025 0.000 0.590 0.568 1.254 4.436 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 190 61 0 168 112 1676 29 0

N.S.

1 1.00 2.71 0.87 0.00 2.40 1.60 23.94 0.41 0.00

time (sec)

N/A 0.044 0.130 0.023 0.000 0.671 0.598 1.127 4.442 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 190 61 0 168 112 1676 29 0

N.S.

1 1.00 2.71 0.87 0.00 2.40 1.60 23.94 0.41 0.00

time (sec)

N/A 0.047 0.128 0.024 0.000 0.823 0.609 1.081 0.110 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 250 582 0 244 158 2202 129 0

N.S.

1 1.00 1.87 4.34 0.00 1.82 1.18 16.43 0.96 0.00

time (sec)

N/A 0.101 0.161 0.081 0.000 0.824 0.862 1.372 0.181 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 248 582 0 232 160 2202 232 0

N.S.

1 1.00 1.91 4.48 0.00 1.78 1.23 16.94 1.78 0.00

time (sec)

N/A 0.166 0.120 0.027 0.000 0.645 0.772 1.402 4.522 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 248 582 0 232 160 2202 232 0

N.S.

1 1.00 1.91 4.48 0.00 1.78 1.23 16.94 1.78 0.00

time (sec)

N/A 0.131 0.044 0.013 0.000 0.754 0.794 1.350 0.129 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 29 26 25 25 26 25 12 0

N.S.

1 1.00 1.00 0.90 0.86 0.86 0.90 0.86 0.41 0.00

time (sec)

N/A 0.026 0.019 0.012 1.043 0.678 0.470 0.245 4.410 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 138 52 0 164 117 51 55 0

N.S.

1 1.00 2.30 0.87 0.00 2.73 1.95 0.85 0.92 0.00

time (sec)

N/A 0.069 0.202 0.007 0.000 0.849 0.464 0.176 0.075 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 126 277 0 110 95 77 66 0

N.S.

1 1.00 2.03 4.47 0.00 1.77 1.53 1.24 1.06 0.00

time (sec)

N/A 0.058 0.060 0.045 0.000 0.829 0.378 0.308 4.385 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 134 277 0 120 83 80 24 0

N.S.

1 1.00 2.03 4.20 0.00 1.82 1.26 1.21 0.36 0.00

time (sec)

N/A 0.058 0.059 0.032 0.000 0.805 0.385 0.312 4.407 0.001

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 83 136 0 31 42 39 29 0

N.S.

1 1.00 1.84 3.02 0.00 0.69 0.93 0.87 0.64 0.00

time (sec)

N/A 0.059 0.077 0.052 0.000 0.800 0.147 0.170 0.087 0.001

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 17 12 11 19 22 11 19 0

N.S.

1 1.00 1.13 0.80 0.73 1.27 1.47 0.73 1.27 0.00

time (sec)

N/A 0.009 0.007 0.009 2.495 0.708 0.122 0.151 0.066 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 14 12 11 11 14 11 11 0

N.S.

1 1.00 1.00 0.86 0.79 0.79 1.00 0.79 0.79 0.00

time (sec)

N/A 0.007 0.005 0.002 2.299 0.691 0.118 0.162 0.026 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 97 34 33 33 44 33 29 0

N.S.

1 1.00 2.55 0.89 0.87 0.87 1.16 0.87 0.76 0.00

time (sec)

N/A 0.035 0.184 0.008 2.392 0.919 0.135 0.174 0.086 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 99 40 0 29 42 45 29 0

N.S.

1 1.00 2.06 0.83 0.00 0.60 0.88 0.94 0.60 0.00

time (sec)

N/A 0.040 0.104 0.033 0.000 0.914 0.129 0.190 4.391 0.001

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 97 40 0 33 44 52 29 0

N.S.

1 1.00 2.11 0.87 0.00 0.72 0.96 1.13 0.63 0.00

time (sec)

N/A 0.043 0.224 0.032 0.000 1.771 0.131 0.257 4.355 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 17 18 17 15 14 46 15 0

N.S.

1 1.00 0.81 0.86 0.81 0.71 0.67 2.19 0.71 0.00

time (sec)

N/A 0.013 0.006 0.006 2.240 0.714 0.113 0.158 4.288 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 101 40 0 31 42 52 29 0

N.S.

1 1.00 2.20 0.87 0.00 0.67 0.91 1.13 0.63 0.00

time (sec)

N/A 0.041 0.275 0.033 0.000 0.634 0.144 0.242 4.372 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 99 40 0 26 29 46 21 0

N.S.

1 1.00 2.25 0.91 0.00 0.59 0.66 1.05 0.48 0.00

time (sec)

N/A 0.034 0.101 0.036 0.000 0.732 0.135 0.175 0.057 0.001

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 14 20 0 15 12 42 15 0

N.S.

1 1.00 0.61 0.87 0.00 0.65 0.52 1.83 0.65 0.00

time (sec)

N/A 0.026 0.007 0.035 0.000 0.710 0.115 0.193 4.347 0.001

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 12 11 12 12 8 12 12 0

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.73 1.09 1.09 0.00

time (sec)

N/A 0.005 0.005 0.006 0.929 0.580 0.091 0.158 4.298 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 29 30 29 25 26 33 14 0

N.S.

1 1.00 0.74 0.77 0.74 0.64 0.67 0.85 0.36 0.00

time (sec)

N/A 0.018 0.006 0.009 1.045 0.789 0.126 0.171 0.297 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 42 82 0 47 46 77 20 0

N.S.

1 1.00 0.95 1.86 0.00 1.07 1.05 1.75 0.45 0.00

time (sec)

N/A 0.035 0.015 0.043 0.000 0.784 0.123 0.340 0.224 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 127 279 0 109 94 73 63 0

N.S.

1 1.00 1.92 4.23 0.00 1.65 1.42 1.11 0.95 0.00

time (sec)

N/A 0.029 0.073 0.019 0.000 0.811 0.378 0.314 0.068 0.002

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 84 136 0 28 39 39 30 0

N.S.

1 1.00 1.83 2.96 0.00 0.61 0.85 0.85 0.65 0.00

time (sec)

N/A 0.031 0.073 0.017 0.000 0.628 0.132 0.176 4.380 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

9 9 12 10 9 17 14 9 17 0

N.S.

1 1.00 1.33 1.11 1.00 1.89 1.56 1.00 1.89 0.00

time (sec)

N/A 0.009 0.007 0.007 2.356 0.913 0.118 0.174 4.363 0.001

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 11 11 11 11 7 11 11 0

N.S.

1 1.00 1.00 1.00 1.00 1.00 0.64 1.00 1.00 0.00

time (sec)

N/A 0.005 0.004 0.008 1.079 0.713 0.090 0.157 4.299 0.001

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 29 26 25 25 26 25 12 0

N.S.

1 1.00 1.00 0.90 0.86 0.86 0.90 0.86 0.41 0.00

time (sec)

N/A 0.016 0.006 0.004 1.002 0.868 0.114 0.154 0.063 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 42 39 0 45 46 34 20 0

N.S.

1 1.00 0.84 0.78 0.00 0.90 0.92 0.68 0.40 0.00

time (sec)

N/A 0.023 0.014 0.010 0.000 0.728 0.114 0.172 4.369 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 42 39 0 43 46 41 20 0

N.S.

1 1.00 0.84 0.78 0.00 0.86 0.92 0.82 0.40 0.00

time (sec)

N/A 0.023 0.015 0.011 0.000 0.809 0.120 0.262 0.074 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 31 28 27 27 22 34 15 0

N.S.

1 1.00 1.00 0.90 0.87 0.87 0.71 1.10 0.48 0.00

time (sec)

N/A 0.015 0.005 0.004 1.061 0.664 0.112 0.157 0.068 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 42 39 0 45 46 41 20 0

N.S.

1 1.00 0.84 0.78 0.00 0.90 0.92 0.82 0.40 0.00

time (sec)

N/A 0.023 0.014 0.011 0.000 0.990 0.116 0.242 4.350 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 42 39 0 45 46 40 20 0

N.S.

1 1.00 0.84 0.78 0.00 0.90 0.92 0.80 0.40 0.00

time (sec)

N/A 0.024 0.020 0.010 0.000 0.656 0.119 0.178 0.068 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 42 39 0 45 46 41 20 0

N.S.

1 1.00 0.84 0.78 0.00 0.90 0.92 0.82 0.40 0.00

time (sec)

N/A 0.022 0.016 0.010 0.000 0.662 0.130 0.206 4.390 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 32 12 25 29 32 29 11 0

N.S.

1 1.00 2.29 0.86 1.79 2.07 2.29 2.07 0.79 0.00

time (sec)

N/A 0.006 0.009 0.002 2.355 0.607 0.107 0.158 4.328 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 31 30 29 27 29 33 15 0

N.S.

1 1.00 0.79 0.77 0.74 0.69 0.74 0.85 0.38 0.00

time (sec)

N/A 0.017 0.006 0.009 0.957 0.472 0.122 0.153 0.101 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 42 82 0 45 46 77 20 0

N.S.

1 1.00 0.88 1.71 0.00 0.94 0.96 1.60 0.42 0.00

time (sec)

N/A 0.039 0.019 0.017 0.000 0.590 0.118 0.322 0.127 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 124 277 0 101 88 0 73 0

N.S.

1 1.00 2.00 4.47 0.00 1.63 1.42 0.00 1.18 0.00

time (sec)

N/A 0.056 0.058 0.043 0.000 1.663 0.376 0.000 0.065 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 83 136 0 31 41 26 29 0

N.S.

1 1.00 1.69 2.78 0.00 0.63 0.84 0.53 0.59 0.00

time (sec)

N/A 0.088 0.139 0.050 0.000 0.812 0.124 0.177 0.083 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 81 110 0 31 41 26 29 0

N.S.

1 1.00 1.88 2.56 0.00 0.72 0.95 0.60 0.67 0.00

time (sec)

N/A 0.050 0.070 0.048 0.000 0.670 0.141 0.186 0.085 0.001

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 83 104 0 31 41 26 29 0

N.S.

1 1.00 1.69 2.12 0.00 0.63 0.84 0.53 0.59 0.00

time (sec)

N/A 0.062 0.104 0.043 0.000 0.943 0.127 0.163 4.391 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

2 2 2 3 2 2 2 2 2 0

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 1.00 1.00 0.00

time (sec)

N/A 0.002 0.003 0.002 2.419 1.101 0.100 0.155 4.332 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 99 34 33 31 41 26 29 0

N.S.

1 1.00 2.61 0.89 0.87 0.82 1.08 0.68 0.76 0.00

time (sec)

N/A 0.027 0.195 0.006 2.403 0.918 0.123 0.162 0.077 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 30 88 39 29 39 39 29 0

N.S.

1 1.00 0.86 2.51 1.11 0.83 1.11 1.11 0.83 0.00

time (sec)

N/A 0.018 0.015 0.004 2.418 1.221 0.123 0.192 4.368 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 12 20 0 7 7 30 7 0

N.S.

1 1.00 0.52 0.87 0.00 0.30 0.30 1.30 0.30 0.00

time (sec)

N/A 0.020 0.007 0.019 0.000 1.154 0.110 0.168 4.315 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 10 16 10 10 7 11 10 0

N.S.

1 1.00 0.91 1.45 0.91 0.91 0.64 1.00 0.91 0.00

time (sec)

N/A 0.003 0.004 0.005 1.063 1.212 0.087 0.152 4.341 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 29 22 21 21 19 43 12 0

N.S.

1 1.00 0.45 0.34 0.32 0.32 0.29 0.66 0.18 0.00

time (sec)

N/A 0.032 0.006 0.006 0.992 1.204 0.113 0.165 0.256 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 40 70 0 36 39 39 18 0

N.S.

1 1.00 0.93 1.63 0.00 0.84 0.91 0.91 0.42 0.00

time (sec)

N/A 0.033 0.014 0.040 0.000 1.149 0.114 0.215 4.395 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 40 82 0 39 39 39 18 0

N.S.

1 1.00 0.87 1.78 0.00 0.85 0.85 0.85 0.39 0.00

time (sec)

N/A 0.036 0.014 0.036 0.000 1.007 0.119 0.244 4.474 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F A A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 125 279 0 100 87 0 76 0

N.S.

1 1.00 2.02 4.50 0.00 1.61 1.40 0.00 1.23 0.00

time (sec)

N/A 0.029 0.073 0.018 0.000 1.208 0.348 0.000 4.338 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 87 136 0 31 42 26 31 0

N.S.

1 1.00 1.74 2.72 0.00 0.62 0.84 0.52 0.62 0.00

time (sec)

N/A 0.040 0.135 0.017 0.000 0.796 0.130 0.167 0.079 0.001

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 82 111 0 31 42 26 31 0

N.S.

1 1.00 1.86 2.52 0.00 0.70 0.95 0.59 0.70 0.00

time (sec)

N/A 0.029 0.071 0.017 0.000 0.933 0.131 0.162 0.079 0.001

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 10 104 0 13 10 26 13 0

N.S.

1 1.00 0.26 2.67 0.00 0.33 0.26 0.67 0.33 0.00

time (sec)

N/A 0.033 0.007 0.018 0.000 0.894 0.119 0.183 4.308 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

9 9 9 10 9 9 5 7 9 0

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.56 0.78 1.00 0.00

time (sec)

N/A 0.004 0.004 0.007 0.998 0.850 0.095 0.181 0.030 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 22 21 21 19 35 10 0

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.76 1.40 0.40 0.00

time (sec)

N/A 0.013 0.006 0.004 1.038 1.558 0.116 0.149 0.060 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 40 62 34 34 39 34 18 0

N.S.

1 1.00 0.87 1.35 0.74 0.74 0.85 0.74 0.39 0.00

time (sec)

N/A 0.019 0.013 0.003 2.263 0.999 0.113 0.150 0.060 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 40 35 0 39 39 39 18 0

N.S.

1 1.00 0.87 0.76 0.00 0.85 0.85 0.85 0.39 0.00

time (sec)

N/A 0.021 0.013 0.012 0.000 0.778 0.121 0.179 4.305 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

2 2 19 3 13 13 12 15 2 0

N.S.

1 1.00 9.50 1.50 6.50 6.50 6.00 7.50 1.00 0.00

time (sec)

N/A 0.002 0.002 0.001 1.072 1.073 0.109 0.148 4.305 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 40 34 55 39 39 39 18 0

N.S.

1 1.00 1.05 0.89 1.45 1.03 1.03 1.03 0.47 0.00

time (sec)

N/A 0.029 0.014 0.004 2.458 1.113 0.116 0.182 0.112 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 40 70 0 39 39 39 18 0

N.S.

1 1.00 0.85 1.49 0.00 0.83 0.83 0.83 0.38 0.00

time (sec)

N/A 0.036 0.018 0.018 0.000 1.263 0.118 0.322 4.323 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 40 82 0 39 39 39 18 0

N.S.

1 1.00 0.87 1.78 0.00 0.85 0.85 0.85 0.39 0.00

time (sec)

N/A 0.035 0.016 0.018 0.000 0.780 0.142 0.225 4.388 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 99 34 33 33 46 33 29 0

N.S.

1 1.00 2.30 0.79 0.77 0.77 1.07 0.77 0.67 0.00

time (sec)

N/A 0.035 0.102 0.008 2.354 1.212 0.142 0.160 4.378 0.001

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 99 34 33 33 46 33 29 0

N.S.

1 1.00 2.30 0.79 0.77 0.77 1.07 0.77 0.67 0.00

time (sec)

N/A 0.032 0.033 0.004 2.487 0.924 0.150 0.177 0.002 0.001

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 27 28 23 34 22 25 17 0

N.S.

1 1.00 1.29 1.33 1.10 1.62 1.05 1.19 0.81 0.00

time (sec)

N/A 0.005 0.010 0.009 1.104 1.031 0.129 0.173 0.033 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 53 26 38 49 53 44 17 0

N.S.

1 1.00 1.89 0.93 1.36 1.75 1.89 1.57 0.61 0.00

time (sec)

N/A 0.013 0.019 0.006 2.356 1.005 0.606 0.174 4.385 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

36 36 72 56 51 55 474 60 290 0

N.S.

1 1.00 2.00 1.56 1.42 1.53 13.17 1.67 8.06 0.00

time (sec)

N/A 0.040 0.041 0.008 2.407 0.997 1.502 0.155 4.389 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 73 104 0 137 46 41 117 0

N.S.

1 1.00 0.99 1.41 0.00 1.85 0.62 0.55 1.58 0.00

time (sec)

N/A 0.045 0.098 0.025 0.000 1.049 0.209 0.158 0.108 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A C A B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

83 83 97 114 69 69 740 69 827 0

N.S.

1 1.00 1.17 1.37 0.83 0.83 8.92 0.83 9.96 0.00

time (sec)

N/A 0.055 0.127 0.005 2.427 1.039 1.264 0.154 4.496 0.001

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A C A B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

119 119 147 168 105 185 874 109 897 0

N.S.

1 1.00 1.24 1.41 0.88 1.55 7.34 0.92 7.54 0.00

time (sec)

N/A 0.091 0.249 0.014 2.349 0.803 1.895 0.157 4.495 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 111 710 0 3406 122 544 771 0

N.S.

1 1.00 0.47 3.03 0.00 14.56 0.52 2.32 3.29 0.00

time (sec)

N/A 0.230 0.116 0.099 0.000 1.285 1.322 0.878 4.490 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 165 756 0 4346 165 988 1491 0

N.S.

1 1.00 0.52 2.39 0.00 13.75 0.52 3.13 4.72 0.00

time (sec)

N/A 0.289 0.216 0.313 0.000 1.149 1.801 0.946 4.499 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F C F(-2) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 53 199 0 97 0 122 121 0

N.S.

1 1.00 0.33 1.24 0.00 0.61 0.00 0.76 0.76 0.00

time (sec)

N/A 0.146 0.045 0.089 0.000 1.008 0.000 0.378 4.956 0.001

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F C F(-2) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 53 199 0 97 0 126 121 0

N.S.

1 1.00 0.31 1.16 0.00 0.56 0.00 0.73 0.70 0.00

time (sec)

N/A 0.137 0.035 0.088 0.000 1.129 0.000 0.328 4.953 0.001

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 137 285 0 451 1469 1501 1227 0

N.S.

1 1.00 0.86 1.78 0.00 2.82 9.18 9.38 7.67 0.00

time (sec)

N/A 0.119 0.090 0.023 0.000 1.216 2.862 0.322 1.067 0.001

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 136 283 0 455 1467 1501 1227 0

N.S.

1 1.00 0.85 1.77 0.00 2.84 9.17 9.38 7.67 0.00

time (sec)

N/A 0.103 0.057 0.019 0.000 1.102 2.729 0.353 5.246 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 115 92 0 517 27 0 133 0

N.S.

1 1.00 1.01 0.81 0.00 4.54 0.24 0.00 1.17 0.00

time (sec)

N/A 0.076 0.172 0.037 0.000 0.846 0.253 0.000 4.484 0.001

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F(-2) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 115 96 0 251 0 0 159 0

N.S.

1 1.00 0.94 0.79 0.00 2.06 0.00 0.00 1.30 0.00

time (sec)

N/A 0.080 0.153 0.048 0.000 1.066 0.000 0.000 5.060 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 115 89 88 264 143 92 133 0

N.S.

1 1.00 0.93 0.72 0.71 2.13 1.15 0.74 1.07 0.00

time (sec)

N/A 0.077 0.131 0.026 2.287 1.288 0.313 0.177 0.237 0.001

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 130 190 0 4551 172 0 1007 0

N.S.

1 1.00 0.96 1.40 0.00 33.46 1.26 0.00 7.40 0.00

time (sec)

N/A 0.104 0.150 0.026 0.000 2.412 1.907 0.000 4.587 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F(-2) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 138 198 0 1141 0 0 1155 0

N.S.

1 1.00 0.86 1.24 0.00 7.13 0.00 0.00 7.22 0.00

time (sec)

N/A 0.116 0.135 0.041 0.000 1.678 0.000 0.000 4.986 0.001

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F(-2) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

414 414 247 404 0 1457 0 0 3285 0

N.S.

1 1.00 0.60 0.98 0.00 3.52 0.00 0.00 7.93 0.00

time (sec)

N/A 0.453 0.202 0.064 0.000 1.514 0.000 0.000 5.219 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F(-2) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 163 320 0 1469 0 0 1575 0

N.S.

1 1.00 0.70 1.37 0.00 6.28 0.00 0.00 6.73 0.00

time (sec)

N/A 0.172 0.186 0.071 0.000 2.806 0.000 0.000 5.290 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 106 97 94 98 110 94 95 0

N.S.

1 1.00 1.00 0.92 0.89 0.92 1.04 0.89 0.90 0.00

time (sec)

N/A 0.083 0.020 0.002 1.051 0.868 0.093 0.153 4.350 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 79 79 72 71 73 78 71 71 0

N.S.

1 1.00 1.00 0.91 0.90 0.92 0.99 0.90 0.90 0.00

time (sec)

N/A 0.056 0.016 0.002 1.037 0.873 0.088 0.149 0.030 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 56 49 48 50 56 50 49 0

N.S.

1 1.00 1.00 0.88 0.86 0.89 1.00 0.89 0.88 0.00

time (sec)

N/A 0.032 0.011 0.000 0.967 0.570 0.077 0.199 0.024 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

32 32 32 27 26 26 29 28 26 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.88 0.81 0.00

time (sec)

N/A 0.014 0.002 0.001 1.061 0.807 0.076 0.178 0.042 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 55 57 47 131 104 44 45 0

N.S.

1 1.00 1.00 1.04 0.85 2.38 1.89 0.80 0.82 0.00

time (sec)

N/A 0.035 0.036 0.008 2.546 1.106 0.324 0.169 0.069 0.001

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 78 82 74 222 138 62 68 0

N.S.

1 1.00 1.05 1.11 1.00 3.00 1.86 0.84 0.92 0.00

time (sec)

N/A 0.052 0.051 0.011 2.238 1.109 0.510 0.157 4.442 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 92 99 102 306 219 77 97 0

N.S.

1 1.00 0.99 1.06 1.10 3.29 2.35 0.83 1.04 0.00

time (sec)

N/A 0.067 0.064 0.009 2.559 0.894 0.755 0.160 4.481 0.001

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 113 122 137 424 204 100 129 0

N.S.

1 1.00 0.92 0.99 1.11 3.45 1.66 0.81 1.05 0.00

time (sec)

N/A 0.114 0.081 0.009 2.355 0.999 0.952 0.154 4.483 0.001

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

133 133 133 130 129 131 144 128 127 0

N.S.

1 1.00 1.00 0.98 0.97 0.98 1.08 0.96 0.95 0.00

time (sec)

N/A 0.107 0.022 0.002 1.066 0.786 0.095 0.159 0.058 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 90 89 91 104 91 89 0

N.S.

1 1.00 1.00 0.93 0.92 0.94 1.07 0.94 0.92 0.00

time (sec)

N/A 0.068 0.018 0.002 1.027 0.751 0.088 0.149 0.048 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 60 51 50 50 60 53 50 0

N.S.

1 1.00 1.00 0.85 0.83 0.83 1.00 0.88 0.83 0.00

time (sec)

N/A 0.030 0.003 0.002 1.037 1.274 0.076 0.152 0.026 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 22 21 21 22 21 21 0

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84 0.00

time (sec)

N/A 0.008 0.001 0.000 1.004 0.369 0.065 0.166 0.028 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 97 136 113 268 236 105 141 0

N.S.

1 1.00 0.90 1.26 1.05 2.48 2.19 0.97 1.31 0.00

time (sec)

N/A 0.077 0.079 0.005 2.453 1.268 0.498 0.156 4.394 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

131 131 134 170 142 394 314 128 183 0

N.S.

1 1.00 1.02 1.30 1.08 3.01 2.40 0.98 1.40 0.00

time (sec)

N/A 0.188 0.108 0.011 2.283 1.602 0.932 0.171 4.399 0.001

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 154 211 167 516 257 145 164 0

N.S.

1 1.00 0.99 1.36 1.08 3.33 1.66 0.94 1.06 0.00

time (sec)

N/A 0.252 0.110 0.011 2.313 0.885 1.713 0.172 4.410 0.001

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

184 184 174 262 205 662 292 167 199 0

N.S.

1 1.00 0.95 1.42 1.11 3.60 1.59 0.91 1.08 0.00

time (sec)

N/A 0.297 0.138 0.014 2.392 0.868 2.612 0.164 4.486 0.001

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 200 231 244 806 335 198 240 0

N.S.

1 1.00 0.90 1.04 1.09 3.61 1.50 0.89 1.08 0.00

time (sec)

N/A 0.339 0.189 0.012 2.413 0.958 4.114 0.252 4.492 0.001

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

437 437 444 741 432 2878 500 498 4022 0

N.S.

1 1.00 1.02 1.70 0.99 6.59 1.14 1.14 9.20 0.00

time (sec)

N/A 0.453 0.339 0.011 2.453 11.045 3.752 0.185 5.081 0.001

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

370 370 360 572 342 2133 350 405 2712 0

N.S.

1 1.00 0.97 1.55 0.92 5.76 0.95 1.09 7.33 0.00

time (sec)

N/A 0.501 0.277 0.004 2.484 2.980 2.273 0.205 4.877 0.001

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 297 269 412 288 1480 238 318 1479 0

N.S.

1 1.00 0.91 1.39 0.97 4.98 0.80 1.07 4.98 0.00

time (sec)

N/A 0.293 0.257 0.004 2.361 1.362 1.478 0.179 4.794 0.001

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

247 247 183 260 221 767 109 245 599 0

N.S.

1 1.00 0.74 1.05 0.89 3.11 0.44 0.99 2.43 0.00

time (sec)

N/A 0.152 0.054 0.003 2.533 0.982 0.680 0.176 4.682 0.001

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

185 185 134 128 169 121 20 179 33 0

N.S.

1 1.00 0.72 0.69 0.91 0.65 0.11 0.97 0.18 0.00

time (sec)

N/A 0.111 0.018 0.003 2.439 1.759 0.174 0.181 4.409 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 234 363 268 4084 0 339 4802 0

N.S.

1 1.00 0.70 1.08 0.80 12.15 0.00 1.01 14.29 0.00

time (sec)

N/A 0.270 0.154 0.007 2.385 2.564 0.000 0.207 5.706 0.001

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

453 453 362 650 403 8409 0 517 16369 0

N.S.

1 1.00 0.80 1.43 0.89 18.56 0.00 1.14 36.13 0.00

time (sec)

N/A 0.384 0.468 0.012 2.445 42.205 0.000 0.253 6.548 0.001

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

363 363 371 624 292 2116 352 425 2560 0

N.S.

1 1.00 1.02 1.72 0.80 5.83 0.97 1.17 7.05 0.00

time (sec)

N/A 0.410 0.260 0.011 2.364 1.132 3.371 0.188 4.940 0.001

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

349 349 295 464 324 1596 275 350 1565 0

N.S.

1 1.00 0.85 1.33 0.93 4.57 0.79 1.00 4.48 0.00

time (sec)

N/A 0.313 0.167 0.009 2.589 1.773 2.069 0.190 4.786 0.001

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

275 275 267 303 253 873 136 273 637 0

N.S.

1 1.00 0.97 1.10 0.92 3.17 0.49 0.99 2.32 0.00

time (sec)

N/A 0.203 0.273 0.006 2.267 1.103 1.032 0.440 0.396 0.001

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

202 202 183 143 189 173 39 194 58 0

N.S.

1 1.00 0.91 0.71 0.94 0.86 0.19 0.96 0.29 0.00

time (sec)

N/A 0.133 0.115 0.005 2.430 1.091 0.348 0.182 0.084 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

689 689 429 873 506 9892 0 603 17945 0

N.S.

1 1.00 0.62 1.27 0.73 14.36 0.00 0.88 26.04 0.00

time (sec)

N/A 0.623 0.295 0.017 2.449 45.347 0.000 0.209 6.781 0.001

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

864 864 540 1169 732 0 0 855 28923 0

N.S.

1 1.00 0.62 1.35 0.85 0.00 0.00 0.99 33.48 0.00

time (sec)

N/A 0.906 0.584 0.020 2.607 0.000 0.000 0.247 8.330 0.001

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 51 42 56 116 75 144 42 0

N.S.

1 1.00 1.00 0.82 1.10 2.27 1.47 2.82 0.82 0.00

time (sec)

N/A 0.041 0.023 0.003 2.248 0.832 0.241 0.213 0.091 0.001

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 38 31 45 90 58 123 28 0

N.S.

1 1.00 1.00 0.82 1.18 2.37 1.53 3.24 0.74 0.00

time (sec)

N/A 0.034 0.018 0.003 2.453 0.868 0.201 0.232 0.055 0.001

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 29 22 36 73 34 118 21 0

N.S.

1 1.00 1.00 0.76 1.24 2.52 1.17 4.07 0.72 0.00

time (sec)

N/A 0.023 0.009 0.002 2.451 1.676 0.183 0.206 4.432 0.001

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 24 16 31 68 46 116 16 0

N.S.

1 1.00 1.00 0.67 1.29 2.83 1.92 4.83 0.67 0.00

time (sec)

N/A 0.012 0.005 0.002 2.351 1.094 0.155 0.290 0.058 0.001

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 65 55 71 189 226 0 74 0

N.S.

1 1.00 0.90 0.76 0.99 2.62 3.14 0.00 1.03 0.00

time (sec)

N/A 0.057 0.037 0.011 2.445 0.883 0.452 0.000 0.159 0.001

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 76 73 92 278 257 0 96 0

N.S.

1 1.00 0.85 0.82 1.03 3.12 2.89 0.00 1.08 0.00

time (sec)

N/A 0.083 0.059 0.011 2.493 1.235 0.715 0.000 0.163 0.001

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 61 1442 0 199 0 24 -1 86

N.S.

1 1.00 0.98 23.26 0.00 3.21 0.00 0.39 -0.02 1.39

time (sec)

N/A 0.044 0.029 0.059 0.000 0.854 0.000 0.246 0.000 0.116

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 38 986 0 138 0 131 -1 61

N.S.

1 1.00 1.00 25.95 0.00 3.63 0.00 3.45 -0.03 1.61

time (sec)

N/A 0.026 0.155 0.024 0.000 0.557 0.000 0.528 0.000 0.072

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 108 441 0 209 0 1 -1 84

N.S.

1 1.00 1.77 7.23 0.00 3.43 0.00 0.02 -0.02 1.38

time (sec)

N/A 0.039 0.126 0.022 0.000 1.082 0.000 0.328 0.000 0.148

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

80 80 345 911 0 279 0 0 -1 94

N.S.

1 1.00 4.31 11.39 0.00 3.49 0.00 0.00 -0.01 1.18

time (sec)

N/A 0.069 3.343 0.028 0.000 1.741 0.000 0.000 0.000 0.200

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 98 132 0 251 0 0 -1 0

N.S.

1 1.00 0.64 0.86 0.00 1.64 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.055 0.165 0.073 0.000 1.134 0.000 0.000 0.000 3.027

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 86 107 0 223 0 0 -1 0

N.S.

1 1.00 0.78 0.97 0.00 2.03 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.035 0.072 0.022 0.000 1.085 0.000 0.000 0.000 2.548

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 50 69 0 121 0 0 -1 0

N.S.

1 1.00 0.77 1.06 0.00 1.86 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.022 0.043 0.024 0.000 1.023 0.000 0.000 0.000 1.335

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 78 249 0 152 0 0 -1 0

N.S.

1 1.00 1.00 3.19 0.00 1.95 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.036 0.052 0.055 0.000 0.848 0.000 0.000 0.000 1.616

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

125 125 111 488 0 297 0 0 -1 0

N.S.

1 1.00 0.89 3.90 0.00 2.38 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.051 0.085 0.056 0.000 0.889 0.000 0.000 0.000 2.620

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 123 711 0 365 0 0 -1 0

N.S.

1 1.00 0.73 4.23 0.00 2.17 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.086 0.107 0.059 0.000 0.737 0.000 0.000 0.000 2.963

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 123 105 0 265 0 0 -1 0

N.S.

1 1.00 0.81 0.69 0.00 1.74 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.055 0.200 0.020 0.000 1.318 0.000 0.000 0.000 3.072

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 110 85 0 236 0 0 -1 0

N.S.

1 1.00 1.01 0.78 0.00 2.17 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.035 0.110 0.014 0.000 1.038 0.000 0.000 0.000 2.580

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 67 54 0 125 0 0 -1 0

N.S.

1 1.00 1.05 0.84 0.00 1.95 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.025 0.040 0.014 0.000 1.067 0.000 0.000 0.000 1.359

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 77 267 0 155 0 0 -1 0

N.S.

1 1.00 1.00 3.47 0.00 2.01 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.036 0.050 0.063 0.000 1.081 0.000 0.000 0.000 1.595

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 110 510 0 302 0 0 -1 0

N.S.

1 1.00 0.89 4.11 0.00 2.44 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.054 0.082 0.042 0.000 1.139 0.000 0.000 0.000 2.681

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 122 739 0 376 0 0 -1 0

N.S.

1 1.00 0.73 4.43 0.00 2.25 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.087 0.106 0.053 0.000 1.157 0.000 0.000 0.000 2.940

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 38 25 0 73 0 0 -1 0

N.S.

1 1.00 1.27 0.83 0.00 2.43 0.00 0.00 -0.03 0.00

time (sec)

N/A 0.010 0.023 0.013 0.000 0.690 0.000 0.000 0.000 0.710

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 40 34 33 0 65 0 0 -1 0

N.S.

1 1.67 1.42 1.38 0.00 2.71 0.00 0.00 -0.04 0.00

time (sec)

N/A 0.011 0.020 0.011 0.000 1.028 0.000 0.000 0.000 0.686

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 72 71 59 0 137 0 0 -1 0

N.S.

1 0.99 0.97 0.81 0.00 1.88 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.118 0.056 0.002 0.000 1.419 0.000 0.000 0.000 4.666

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

121 121 121 226 0 446 345 10312 182 0

N.S.

1 1.00 1.00 1.87 0.00 3.69 2.85 85.22 1.50 0.00

time (sec)

N/A 0.160 0.075 0.010 0.000 0.482 0.996 5.854 4.532 0.001

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 84 142 0 311 275 8680 113 0

N.S.

1 1.00 0.98 1.65 0.00 3.62 3.20 100.93 1.31 0.00

time (sec)

N/A 0.107 0.046 0.005 0.000 1.697 0.720 5.304 4.522 0.001

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 63 79 0 210 212 7051 52 0

N.S.

1 1.00 0.98 1.23 0.00 3.28 3.31 110.17 0.81 0.00

time (sec)

N/A 0.078 0.055 0.004 0.000 1.112 0.485 4.818 0.069 0.001

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 48 33 0 134 124 3276 38 0

N.S.

1 1.00 0.98 0.67 0.00 2.73 2.53 66.86 0.78 0.00

time (sec)

N/A 0.029 0.012 0.002 0.000 0.626 0.325 6.095 4.491 0.001

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 133 155 0 895 0 0 3901 0

N.S.

1 1.00 0.98 1.14 0.00 6.58 0.00 0.00 28.68 0.00

time (sec)

N/A 0.178 0.201 0.013 0.000 1.287 0.000 0.000 5.403 0.001

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F(-1) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

187 187 177 319 0 1765 0 0 6267 0

N.S.

1 1.00 0.95 1.71 0.00 9.44 0.00 0.00 33.51 0.00

time (sec)

N/A 0.278 0.411 0.013 0.000 3.708 0.000 0.000 6.453 0.001

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 134 7043 0 1079 0 54 -1 179

N.S.

1 1.00 0.96 50.67 0.00 7.76 0.00 0.39 -0.01 1.29

time (sec)

N/A 0.276 0.257 0.063 0.000 2.745 0.000 2.394 0.000 0.377

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 103 4308 0 940 0 27 -1 217

N.S.

1 1.00 0.95 39.89 0.00 8.70 0.00 0.25 -0.01 2.01

time (sec)

N/A 0.126 0.086 0.023 0.000 1.041 0.000 2.385 0.000 0.264

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 76 2252 0 432 0 0 -1 192

N.S.

1 1.00 1.00 29.63 0.00 5.68 0.00 0.00 -0.01 2.53

time (sec)

N/A 0.070 0.065 0.023 0.000 1.094 0.000 0.000 0.000 0.185

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

106 106 418 771 0 701 0 0 -1 221

N.S.

1 1.00 3.94 7.27 0.00 6.61 0.00 0.00 -0.01 2.08

time (sec)

N/A 0.117 1.049 0.021 0.000 1.270 0.000 0.000 0.000 0.367

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

149 149 1058 1637 0 1063 0 0 -1 256

N.S.

1 1.00 7.10 10.99 0.00 7.13 0.00 0.00 -0.01 1.72

time (sec)

N/A 0.269 4.136 0.021 0.000 2.645 0.000 0.000 0.000 0.567

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 135 136 135 148 156 142 131 0

N.S.

1 1.00 1.00 1.01 1.00 1.10 1.16 1.05 0.97 0.00

time (sec)

N/A 0.126 0.037 0.001 0.962 0.869 0.113 0.154 0.063 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 104 103 102 111 112 108 101 0

N.S.

1 1.00 1.01 1.00 0.99 1.08 1.09 1.05 0.98 0.00

time (sec)

N/A 0.095 0.028 0.001 1.034 0.600 0.291 0.155 4.628 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 70 69 76 78 76 70 0

N.S.

1 1.00 1.00 0.96 0.95 1.04 1.07 1.04 0.96 0.00

time (sec)

N/A 0.060 0.020 0.001 1.074 0.792 0.108 0.149 4.587 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 37 36 40 39 43 38 0

N.S.

1 1.00 1.00 0.88 0.86 0.95 0.93 1.02 0.90 0.00

time (sec)

N/A 0.027 0.009 0.001 0.904 0.928 0.101 0.148 0.044 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 65 84 58 159 117 56 57 0

N.S.

1 1.00 0.98 1.27 0.88 2.41 1.77 0.85 0.86 0.00

time (sec)

N/A 0.045 0.052 0.004 2.409 1.005 0.729 0.151 0.085 0.001

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 88 118 84 268 153 75 77 0

N.S.

1 1.00 1.06 1.42 1.01 3.23 1.84 0.90 0.93 0.00

time (sec)

N/A 0.093 0.056 0.009 2.245 1.025 1.233 0.170 4.670 0.001

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 110 131 121 391 196 101 112 0

N.S.

1 1.00 0.96 1.14 1.05 3.40 1.70 0.88 0.97 0.00

time (sec)

N/A 0.107 0.097 0.008 2.253 1.369 2.266 0.232 4.847 0.001

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 142 158 162 530 241 134 144 0

N.S.

1 1.00 0.95 1.05 1.08 3.53 1.61 0.89 0.96 0.00

time (sec)

N/A 0.205 0.133 0.009 2.507 0.596 4.409 0.159 4.509 0.001

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 223 219 218 261 272 255 220 0

N.S.

1 1.00 1.00 0.98 0.98 1.17 1.22 1.14 0.99 0.00

time (sec)

N/A 0.199 0.087 0.001 1.044 0.668 0.220 0.157 4.484 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 156 155 147 181 192 181 148 0

N.S.

1 1.00 1.01 1.00 0.95 1.17 1.24 1.17 0.95 0.00

time (sec)

N/A 0.141 0.054 0.000 1.136 0.557 0.155 0.169 4.516 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 96 91 90 100 107 106 90 0

N.S.

1 1.00 1.00 0.95 0.94 1.04 1.11 1.10 0.94 0.00

time (sec)

N/A 0.068 0.024 0.000 1.009 0.767 0.247 0.170 0.038 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 42 45 43 48 43 42 0

N.S.

1 1.00 1.00 0.86 0.92 0.88 0.98 0.88 0.86 0.00

time (sec)

N/A 0.025 0.006 0.001 1.103 0.750 0.154 0.144 0.022 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 144 267 176 406 371 185 229 0

N.S.

1 1.00 1.01 1.87 1.23 2.84 2.59 1.29 1.60 0.00

time (sec)

N/A 0.140 0.066 0.005 2.377 0.680 1.530 0.162 4.469 0.001

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 183 320 205 600 484 207 293 0

N.S.

1 1.00 1.10 1.93 1.23 3.61 2.92 1.25 1.77 0.00

time (sec)

N/A 0.298 0.101 0.011 2.416 0.915 3.786 0.180 4.563 0.001

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

201 201 217 402 245 794 398 244 257 0

N.S.

1 1.00 1.08 2.00 1.22 3.95 1.98 1.21 1.28 0.00

time (sec)

N/A 0.419 0.113 0.013 2.363 0.712 17.717 0.182 0.118 0.001

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

250 250 267 506 300 1016 457 296 308 0

N.S.

1 1.00 1.07 2.02 1.20 4.06 1.83 1.18 1.23 0.00

time (sec)

N/A 0.543 0.148 0.014 2.390 0.805 94.000 0.182 4.599 0.001

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 345 412 366 1266 0 364 375 0

N.S.

1 1.00 1.09 1.30 1.15 3.99 0.00 1.15 1.18 0.00

time (sec)

N/A 0.650 0.225 0.013 2.519 0.641 0.000 0.195 4.574 0.001

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 88 118 84 268 153 75 77 0

N.S.

1 1.00 1.06 1.42 1.01 3.23 1.84 0.90 0.93 0.00

time (sec)

N/A 0.093 0.017 0.000 2.342 0.687 0.820 0.162 0.002 0.001

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 88 118 84 268 153 75 77 0

N.S.

1 1.00 1.06 1.42 1.01 3.23 1.84 0.90 0.93 0.00

time (sec)

N/A 0.084 0.017 0.009 2.369 0.619 0.862 0.154 0.115 0.001

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

459 459 570 1888 0 0 0 9285 29551 0

N.S.

1 1.00 1.24 4.11 0.00 0.00 0.00 20.23 64.38 0.00

time (sec)

N/A 1.537 0.687 0.049 0.000 0.000 0.000 1.628 9.313 0.001

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 402 1211 0 9584 0 6407 17954 0

N.S.

1 1.00 1.27 3.83 0.00 30.33 0.00 20.28 56.82 0.00

time (sec)

N/A 0.786 0.550 0.037 0.000 34.095 0.000 1.355 7.290 0.001

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

238 238 269 695 0 4690 0 4107 9600 0

N.S.

1 1.00 1.13 2.92 0.00 19.71 0.00 17.26 40.34 0.00

time (sec)

N/A 0.635 0.322 0.028 0.000 3.221 0.000 1.136 6.484 0.001

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 172 328 0 1525 314 1402 4109 0

N.S.

1 1.00 0.99 1.89 0.00 8.76 1.80 8.06 23.61 0.00

time (sec)

N/A 0.202 0.139 0.020 0.000 0.881 20.947 0.872 5.382 0.001

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 129 116 0 613 87 1024 763 0

N.S.

1 1.00 0.86 0.77 0.00 4.09 0.58 6.83 5.09 0.00

time (sec)

N/A 0.098 0.085 0.014 0.000 0.407 1.272 0.599 0.514 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 254 274 480 0 0 0 7650 23640 0

N.S.

1 1.00 1.08 1.89 0.00 0.00 0.00 30.12 93.07 0.00

time (sec)

N/A 0.586 0.272 0.022 0.000 0.000 0.000 2.535 9.446 0.001

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

429 429 354 1141 0 0 0 13225 91169 0

N.S.

1 1.00 0.83 2.66 0.00 0.00 0.00 30.83 212.52 0.00

time (sec)

N/A 1.415 0.753 0.029 0.000 0.000 0.000 2.510 10.280 0.001

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

563 563 540 1846 0 12117 0 8983 29030 0

N.S.

1 1.00 0.96 3.28 0.00 21.52 0.00 15.96 51.56 0.00

time (sec)

N/A 3.519 1.630 0.050 0.000 111.890 0.000 2.459 8.793 0.001

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

386 386 415 1223 0 7338 0 6390 18785 0

N.S.

1 1.00 1.08 3.17 0.00 19.01 0.00 16.55 48.67 0.00

time (sec)

N/A 2.079 1.111 0.042 0.000 13.152 0.000 1.846 9.845 0.001

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

293 293 310 1761 0 4573 0 4433 12350 0

N.S.

1 1.00 1.06 6.01 0.00 15.61 0.00 15.13 42.15 0.00

time (sec)

N/A 0.789 0.749 0.085 0.000 3.549 0.000 1.764 9.387 0.001

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 243 733 0 2309 394 2682 6404 0

N.S.

1 1.00 0.96 2.91 0.00 9.16 1.56 10.64 25.41 0.00

time (sec)

N/A 0.517 0.425 0.060 0.000 0.845 170.284 0.602 6.257 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

660 660 708 3841 0 0 0 0 237586 0

N.S.

1 1.00 1.07 5.82 0.00 0.00 0.00 0.00 359.98 0.00

time (sec)

N/A 2.873 2.789 0.064 0.000 0.000 0.000 0.000 16.455 0.001

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1077 1077 1020 5709 0 0 0 0 97073 0

N.S.

1 1.00 0.95 5.30 0.00 0.00 0.00 0.00 90.13 0.00

time (sec)

N/A 12.639 5.843 0.084 0.000 0.000 0.000 0.000 17.810 0.001

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

215 215 190 283 261 370 505 180 -1 189

N.S.

1 1.00 0.88 1.32 1.21 1.72 2.35 0.84 -0.00 0.88

time (sec)

N/A 0.161 0.388 0.010 1.123 1.645 63.830 0.226 0.000 0.409

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 157 229 207 304 413 145 -1 153

N.S.

1 1.00 0.90 1.31 1.18 1.74 2.36 0.83 -0.01 0.87

time (sec)

N/A 0.122 0.320 0.010 1.018 0.981 31.095 0.222 0.000 0.290

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 121 175 153 232 272 106 -1 117

N.S.

1 1.00 0.92 1.33 1.16 1.76 2.06 0.80 -0.01 0.89

time (sec)

N/A 0.109 0.234 0.010 0.984 0.997 12.265 0.219 0.000 0.191

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 82 122 100 174 230 79 -1 85

N.S.

1 1.00 0.85 1.26 1.03 1.79 2.37 0.81 -0.01 0.88

time (sec)

N/A 0.061 0.064 0.009 1.066 1.297 7.045 0.193 0.000 0.117

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 98 112 97 249 134 80 -1 89

N.S.

1 1.00 1.10 1.26 1.09 2.80 1.51 0.90 -0.01 1.00

time (sec)

N/A 0.073 0.105 0.009 1.130 0.847 9.984 0.205 0.000 0.164

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 112 124 135 289 450 88 -1 95

N.S.

1 1.00 1.11 1.23 1.34 2.86 4.46 0.87 -0.01 0.94

time (sec)

N/A 0.071 0.190 0.008 1.007 0.851 18.951 0.225 0.000 0.199

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 67 66 173 93 639 75 133 69

N.S.

1 1.00 0.78 0.77 2.01 1.08 7.43 0.87 1.55 0.80

time (sec)

N/A 0.107 0.052 0.005 1.156 1.066 45.985 0.211 4.704 0.208

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 101 100 227 136 1989 113 154 103

N.S.

1 1.00 0.80 0.79 1.80 1.08 15.79 0.90 1.22 0.82

time (sec)

N/A 0.146 0.093 0.004 1.199 0.952 119.187 0.270 4.667 0.285

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 164 132 136 281 177 0 148 189 139

N.S.

1 0.99 0.80 0.82 1.70 1.07 0.00 0.90 1.15 0.84

time (sec)

N/A 0.210 0.117 0.006 1.202 1.148 0.000 0.228 4.752 0.404

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

210 210 167 172 335 224 0 189 226 175

N.S.

1 1.00 0.80 0.82 1.60 1.07 0.00 0.90 1.08 0.83

time (sec)

N/A 0.222 0.142 0.008 1.111 1.310 0.000 0.235 4.760 0.500

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

65 65 685 327 0 323 0 0 -1 77

N.S.

1 1.00 10.54 5.03 0.00 4.97 0.00 0.00 -0.02 1.18

time (sec)

N/A 0.145 3.068 0.166 0.000 1.641 0.000 0.000 0.000 12.085

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

63 63 876 311 0 112 0 0 -1 77

N.S.

1 1.00 13.90 4.94 0.00 1.78 0.00 0.00 -0.02 1.22

time (sec)

N/A 0.141 7.827 0.161 0.000 1.361 0.000 0.000 0.000 11.973

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

72 72 623 336 0 328 0 0 -1 81

N.S.

1 1.00 8.65 4.67 0.00 4.56 0.00 0.00 -0.01 1.12

time (sec)

N/A 0.133 1.732 0.161 0.000 1.289 0.000 0.000 0.000 12.222

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

70 70 881 337 0 114 0 0 -1 81

N.S.

1 1.00 12.59 4.81 0.00 1.63 0.00 0.00 -0.01 1.16

time (sec)

N/A 0.129 6.386 0.154 0.000 1.273 0.000 0.000 0.000 12.017

[next] [prev] [prev-tail] [front] [up]